Tootfinder

As streamers cut spending globally, sources say Netflix remains the only major US platform still commissioning across Southeast Asia, albeit on a smaller scale (Deadline)
https://deadline.com/2024/04/prime-video-disney-plus-netflix-…

Why The Streaming Giants Are Exiting Original Production In Southeast Asia & How Producers Plan To Bounce Back — Analysis
Why Prime Video and Disney+ stopped commissioning originals in Southeast Asia, what Netflix is doing in the region and how producers are responding.

As streamers cut spending globally, sources say Netflix remains the only major US platform still commissioning across Southeast Asia, albeit on a smaller scale (Deadline)
https://deadline.com/2024/04/prime-video-disney-plus-netflix-…

Why The Streaming Giants Are Exiting Original Production In Southeast Asia & How Producers Plan To Bounce Back — Analysis
Why Prime Video and Disney+ stopped commissioning originals in Southeast Asia, what Netflix is doing in the region and how producers are responding.

“Given the strong cooling impact of SO₂, a 10% reduction in emissions of SO₂ will result in additional global warming.” #ClimateEmergency #GlobalHeating

Geospatial Analysis - Drone Attack in Taganrog: https://benborges.xyz/2024/03/10/geospatial-analysis-drone.html

XZ backdoor story – Initial analysis
https://poliverso.org/display/0477a01e-bec42adc-02198b065103ad5d
XZ backdoor story – Initial analysis On March 29, 2024, a single message

This https://arxiv.org/abs/2106.12892 has been replaced.
link: https://scholar.google.com/scholar?q=a

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in Büchi games. Semiring semantics generalizes the classical Boolean semantics by permitting multiple truth values from certain semirings. Evaluating the fixed-point formula that defines the winning region in a given game in an appropriate semiring of polynomials provides not only the Boolean information on who wins, but also tells us how they win and which strategi…

Watch this space!
:mastodon:
https://mastodon.social/@randahl/112079931089840705

Randahl Fink (@randahl@mastodon.social)
Attached: 1 image This is awesome! During the first 24 hours, my new video analysis of the Israeli-Palestinian conflict is being viewed twice as much per hour, than any of my previous premieres. Thank you to everyone who is watching and boosting. What a day. 🙌🏼 https://www.youtube.com/watch?v=jnyd74IBVIA

This https://arxiv.org/abs/2403.19335 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

KazSAnDRA: Kazakh Sentiment Analysis Dataset of Reviews and Attitudes
This paper presents KazSAnDRA, a dataset developed for Kazakh sentiment analysis that is the first and largest publicly available dataset of its kind. KazSAnDRA comprises an extensive collection of 180,064 reviews obtained from various sources and includes numerical ratings ranging from 1 to 5, providing a quantitative representation of customer attitudes. The study also pursued the automation of Kazakh sentiment classification through the development and evaluation of four machine learning mod…

This https://arxiv.org/abs/2310.15915 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Pure Demand Operational Semantics with Applications to Program Analysis
This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as the complete state information: there is no environment, no substitution, no continuation, etc. We prove this form of operational semantics equivalent to standard presentations. We then show how this approach can open the door to potential new applications: we define a program analysis as a direct finitization of t…

Elon Musk’s charity may bear his name, but it can’t seem to match his penchant for high-dollar spending.
According to a New York Times analysis of his charity’s giving in 2022, the #Musk #Foundation gave out just $160 million in grants
—a whopping $234 million

Elon Musk’s Charity Often Benefits Elon Musk and Associates: Report
A New York Times report found that much of Musk’s charitable funds stay “close to home.”

This https://arxiv.org/abs/2210.03859 has been replaced.
link: https://scholar.google.com/scholar?q=a

Spectrally-Corrected and Regularized Linear Discriminant Analysis for Spiked Covariance Model
This paper proposes an improved linear discriminant analysis called spectrally-corrected and regularized LDA (SRLDA). This method integrates the design ideas of the sample spectrally-corrected covariance matrix and the regularized discriminant analysis. With the support of a large-dimensional random matrix analysis framework, it is proved that SRLDA has a linear classification global optimal solution under the spiked model assumption. According to simulation data analysis, the SRLDA classifier …

Robert Hur’s Report on #Biden Shows How #Ageism Works | Austin Sarat | Verdict | Legal Analysis and Commentary from Justia

Robert Hur’s Report on Biden Shows How Ageism Works
Amherst professor Austin Sarat criticizes the ageism evident in special counsel Robert Hur’s report on Joe Biden's handling of classified documents, highlighting its undue focus on the President’s age...

#AI calls for a new perspective for #Open: "any definition of open should require a more complex analysis than simply looking at a license." @…
"In our work, we…

Mike Weinberg on open licensing – Open Future
In his recent blogpost, “Licenses are Not Proxies for Openness in AI Models,” Mike Weinberg argues that the openness of AI models cannot be reduced to just their licensing. Weinberg references his response to the consultation by the US National Telecommunications and Information Administration on “open foundational models”: [the response] focused on a comparatively narrow […]

This https://arxiv.org/abs/2404.07122 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

Driver Attention Tracking and Analysis
We propose a novel method to estimate a driver's points-of-gaze using a pair of ordinary cameras mounted on the windshield and dashboard of a car. This is a challenging problem due to the dynamics of traffic environments with 3D scenes of unknown depths. This problem is further complicated by the volatile distance between the driver and the camera system. To tackle these challenges, we develop a novel convolutional network that simultaneously analyzes the image of the scene and the image of the…

#Linux #kernel 6.8.5, 6.6.26, 6.1.85, and 5.15.154 were released.
They among others contain the mitigations for the "native BHI (Branch History Injection)" hardware vulnerability that were mainlined yesterday[1] shortly after the vulnerability was published[2].
[1]

Nebular Analysis of PNe NGC 3242
Soubhik Chatterjee
https://arxiv.org/abs/2402.06270 https://arxiv.org/pdf/2402.06270

Nebular Analysis of PNe NGC 3242
The work presented forms a part of the IASc-INSA-NASI Summer Research Fellowship (SRFP) project on the physical & chemical properties of planetary nebulae. Spectral observations of NGC3242 recorded using the VBT Observatory (IIA), Kavalur (TN) for orthogonal slit positions are used for the study. The spectral data were reduced and analyzed using the IRAF data analysis package following the standard procedure to obtain the one dimensional spectrum. Nebular Analysis is performed on the same using…

This https://arxiv.org/abs/2403.01760 has been replaced.
link: https://scholar.google.com/scholar?q=a

Quantum Computation by Cooling
Adiabatic quantum computation is a paradigmatic model aiming to solve a computational problem by finding the many-body ground state encapsulating the solution. However, its use of an adiabatic evolution depending on the spectral gap of an intricate many-body Hamiltonian makes its analysis daunting. While it is plausible to directly cool the final gapped system of the adiabatic evolution instead, an analysis of such a scheme is surprisingly missing. Here, we propose a specific Hamiltonian model …

This https://arxiv.org/abs/2312.09302 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Detecting Grasping Sites in a Martian Lava Tube: Multi-Stage Perception Trade Study for ReachBot
This paper presents a trade study analysis to design and evaluate the perception system architecture for ReachBot. ReachBot is a novel robotic concept that uses grippers at the end of deployable booms for navigation of rough terrain such as walls of caves and lava tubes. Previous studies on ReachBot have discussed the overall robot design, placement and number of deployable booms, and gripper mechanism design; however, analysis of the perception and sensing system remains underdeveloped. Becaus…

This https://arxiv.org/abs/2402.03646 has been replaced.
link: https://scholar.google.com/scholar?q=a

Lens: A Foundation Model for Network Traffic in Cybersecurity
Network traffic refers to the amount of data being sent and received over the internet or any system that connects computers. Analyzing and understanding network traffic is vital for improving network security and management. However, the analysis of network traffic is challenging due to the diverse nature of data packets, which often feature heterogeneous headers and encrypted payloads lacking semantics. To capture the latent semantics of traffic, a few studies have adopted pre-training techni…

This https://arxiv.org/abs/2307.12609 has been replaced.
link: https://scholar.google.com/scholar?q=a

AndroLibZoo: A Reliable Dataset of Libraries Based on Software Dependency Analysis
Android app developers extensively employ code reuse, integrating many third-party libraries into their apps. While such integration is practical for developers, it can be challenging for static analyzers to achieve scalability and precision when libraries account for a large part of the code. As a direct consequence, it is common practice in the literature to consider developer code only during static analysis --with the assumption that the sought issues are in developer code rather than the l…

NFL free agency 2024 live updates: Cousins, Wilson latest, predictions, best available, news, analysis and reactions https://theathletic.com/live-blogs/nfl-free-agency-live-updates-signings-deals-news-2024/U69UTjqPuE7d/…

NFL free agency 2024 live updates: Cousins, Wilson latest, predictions, best available, news, analysis and reactions
The negotiating period for NFL free agency begins on Monday. Stay here for the latest news from The Athletic's staff.

Analysis of Privacy Leakage in Federated Large Language Models
Minh N. Vu, Truc Nguyen, Tre' R. Jeter, My T. Thai
https://arxiv.org/abs/2403.04784 http…

Analysis of Privacy Leakage in Federated Large Language Models
With the rapid adoption of Federated Learning (FL) as the training and tuning protocol for applications utilizing Large Language Models (LLMs), recent research highlights the need for significant modifications to FL to accommodate the large-scale of LLMs. While substantial adjustments to the protocol have been introduced as a response, comprehensive privacy analysis for the adapted FL protocol is currently lacking. To address this gap, our work delves into an extensive examination of the priv…

Diagram Analysis of Iterative Algorithms
Chris Jones, Lucas Pesenti
https://arxiv.org/abs/2404.07881 https://arxiv.org/pdf/2404.07881…

Diagram Analysis of Iterative Algorithms
We study a general class of first-order iterative algorithms which includes power iteration, belief propagation and Approximate Message Passing (AMP), and many forms of gradient descent. When the input is a random matrix with i.i.d. entries, we present a new way to analyze these algorithms using combinatorial diagrams. Each diagram is a small graph, and the operations of the algorithm correspond to simple combinatorial operations on these graphs. We prove a fundamental property of the diagram…

🦤 Titanosaurs were the biggest land animals Earth’s ever seen − these plant-powered dinos combined reptile and mammal traits
#dinosaurs #animals #paleontology

Titanosaurs were the biggest land animals Earth’s ever seen − these plant-powered dinos combined reptile and mammal traits
Some of these giant vegetarians were as tall as a 3-story building. Microscopic analysis of their teeth, bones and eggshells reveals how they grew, what they ate and even their body temperature.

Spatiotemporal Analysis of Shared Situation Awareness among Connected Vehicles
Seungmo Kim
https://arxiv.org/abs/2404.06902 https://a…

Spatiotemporal Analysis of Shared Situation Awareness among Connected Vehicles
Shared situation awareness (SSA) has been garnering explosive interest in various applications for intelligent transportation systems (ITS). In addition, the delay-constrained nature of supporting vehicular networks makes it critical to precisely analyze the performance of a SSA procedure. Extending the relevant literature, this paper provides an analysis framework that evaluates the performance of SSA in spatial and temporal aspects simultaneously. Specifically, this paper provides a closed-fo…

Algorithms and Analysis for Optimizing Robust Objectives in Fair Machine Learning
Cyrus Cousins
https://arxiv.org/abs/2404.06703 https://

Algorithms and Analysis for Optimizing Robust Objectives in Fair Machine Learning
The original position or veil of ignorance argument of John Rawls, perhaps the most famous argument for egalitarianism, states that our concept of fairness, justice, or welfare should be decided from behind a veil of ignorance, and thus must consider everyone impartially (invariant to our identity). This can be posed as a zero-sum game, where a Daemon constructs a world, and an adversarial Angel then places the Daemon into the world. This game incentivizes the Daemon to maximize the minimum uti…

Sensitivity analysis for publication bias in meta-analysis of sparse data based on exact likelihood
Taojun Hu, Yi Zhou, Sattoshi Hattori
https://arxiv.org/abs/2404.06837

Sensitivity analysis for publication bias in meta-analysis of sparse data based on exact likelihood
Meta-analysis is a powerful tool to synthesize findings from multiple studies. The normal-normal random-effects model is widely used accounting for between-study heterogeneity. However, meta-analysis of sparse data, which may arise when the event rate is low for binary or count outcomes, poses a challenge to the normal-normal random-effects model in the accuracy and stability in inference since the normal approximation in the within-study likelihood may not be good. To reduce bias arising from …

This https://arxiv.org/abs/2404.05696 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDB_…

BOLD v4: A Centralized Bioinformatics Platform for DNA-based Biodiversity Data
BOLD, the Barcode of Life Data System, supports the acquisition, storage, validation, analysis, and publication of DNA barcodes, activities requiring the integration of molecular, morphological, and distributional data. Its pivotal role in curating the reference library of DNA barcodes, coupled with its data management and analysis capabilities, make it a central resource for biodiversity science. It enables rapid, accurate identification of specimens and also reveals patterns of genetic divers…

Reverse Divisors and Magic Numbers
Eudes Antonio Costa, Ronaldo Ant\^onio Santos
https://arxiv.org/abs/2404.06656 https://arxiv.org/p…

Reverse Divisors and Magic Numbers
The study examines the relationship between Ball's magic numbers and reverses divisors. These numbers are the source of beautiful and curious properties. Activities related to numbers can be a fun way to motivate mathematics students, while also enabling surprising analysis and connections.

Analysis: TikTok app code shows a separate TikTok Photos app, a potential Instagram rival that syncs with the main app and may launch "soon" on iOS and Android (The SP Android)
https://thespandroid.blogspot.com/2024/03/Tiktok-Photo-Sharing-Pl…

Exclusive: Tiktok is working on a new Photo Sharing platform to compete with Instagram
Tiktok has dominated the short form video market from a long time and other platform like Instagram and YouTube copied the popularity of such short...

The Asymptotic Structure of Cosmological Integrals
Paolo Benincasa, Francisco Vaz\~ao
https://arxiv.org/abs/2402.06558 https://arxiv.…

The Asymptotic Structure of Cosmological Integrals
We provide a general analysis of the asymptotic behaviour of perturbative contributions to observables in arbitrary power-law FRW cosmologies, indistinctly the Bunch-Davies wavefunction and cosmological correlators. We consider a large class of scalar toy models, including conformally-coupled and massless scalars in arbitrary dimensions, that admits a first principle definition in terms of (generalised/weighted) cosmological polytopes. The perturbative contributions to an observable can be expr…

This https://arxiv.org/abs/2403.02192 has been replaced.
link: https://scholar.google.com/scholar?q=a

Domain adaptation, Explainability & Fairness in AI for Medical Image Analysis: Diagnosis of COVID-19 based on 3-D Chest CT-scans
The paper presents the DEF-AI-MIA COV19D Competition, which is organized in the framework of the 'Domain adaptation, Explainability, Fairness in AI for Medical Image Analysis (DEF-AI-MIA)' Workshop of the 2024 Computer Vision and Pattern Recognition (CVPR) Conference. The Competition is the 4th in the series, following the first three Competitions held in the framework of ICCV 2021, ECCV 2022 and ICASSP 2023 International Conferences respectively. It includes two Challenges on: i) Covid-19 Dete…

This https://arxiv.org/abs/2312.00619 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…

Analysis of the $ψ(3770)$ resonance in line with unitarity and analyticity constraints
We study the inclusive and exclusive cross sections of $e^+e^-\to \text{hadrons}$ for center-of-mass energies between 3.70 GeV and 3.83 GeV to infer the mass, width, and couplings of the $ψ(3770)$ resonance. By using a coupled-channel K-matrix approach, we setup our analysis to respect unitarity and the analyticity properties of the underlying scattering amplitudes. We fit several models to the full dataset and identify our nominal results through a statistical model comparison. We find that, …

This https://arxiv.org/abs/2403.02768 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCY_…

An Empirical Analysis on the Use and Reporting of National Security Letters
National Security Letters (NSLs) are similar to administrative subpoenas and can be issued directly by elements of the executive branch without requiring prior approval from a court or grand jury. Importantly, NSLs authorize the imposition of nondisclosure orders (aka "gag orders") on the receiving party. Controversy about potential abuses of this authority has driven a range of legal and policy discussions. To address these concerns, both the public sector and the private sector have sought to…

Wavelet-based resolvent analysis of non-stationary flows
Eric Ballouz, Barbara Lopez-Doriga, Scott T. M. Dawson, H. Jane Bae
https://arxiv.org/abs/2404.06600

Wavelet-based resolvent analysis of non-stationary flows
This work introduces a formulation of resolvent analysis that uses wavelet transforms rather than Fourier transforms in time. Under this formulation, resolvent analysis may extend to turbulent flows with non-stationary mean states; the optimal resolvent modes are augmented with a temporal dimension and are able to encode the time-transient trajectories that are most amplified by the linearised Navier-Stokes equations. We first show that the wavelet- and Fourier-based resolvent analyses give equ…

This https://arxiv.org/abs/2403.03430 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Discrete Consensus-Based Optimization
We propose Discrete Consensus-Based Optimization (DCBO), a fully discrete version of the Consensus-Based Optimization (CBO) framework. DCBO is a multi-agent method for the global optimization of possibly non-convex and non-differentiable functions. It aligns with the CBO paradigm, which promotes a consensus among agents towards a global optimum through simple stochastic dynamics amenable to rigorous mathematical analysis. Despite the promises, there has been a gap between the analysis of CBO an…

Consistency of matrix decomposition factor analysis
Yoshikazu Terada
https://arxiv.org/abs/2403.06968 https://arxiv.org/pdf/2403.0696…

Consistency of matrix decomposition factor analysis
For factor analysis, many estimators, starting with the maximum likelihood estimator, are developed, and the statistical properties of most estimators are well discussed. In the early 2000s, a new estimator based on matrix factorization, called Matrix Decomposition Factor Analysis (MDFA), was developed. Although the estimator is obtained by minimizing the principal component analysis-like loss function, this estimator empirically behaves like other consistent estimators of factor analysis, not …

This https://arxiv.org/abs/2303.01304 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Littlewood-Richardson coefficients and the eigenvalues of integral line graphs
We first describe a system of inequalities (Horn's inequalities) that characterize eigenvalues of sums of Hermitian matrices. When we apply this system for integral Hermitian matrices, one can directly test it by using Littlewood-Richardson coefficients. In this paper, we apply Horn's inequalities to analysis the eigenvalues of an integral line graph $G$ of a connected bipartite graph. Then we show that the diameter of $G$ is at most $2ω(G)$, where $ω(G)$ is the clique number of $G$. Also…

Admissibility of the Structural Rules in the Sequent Calculus with Equality
Franco Parlamento, Flavio Previale
https://arxiv.org/abs/2403.06887 https://

Admissibility of the Structural Rules in the Sequent Calculus with Equality
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi with rules for equality, including the one originally proposed by H.Wang. In the classical case we relate our results with the semantic tableau method for first order logic with equality. In particular we establish that, for languages without function symbols, i…

Pulling back symmetric Riemannian geometry for data analysis
Willem Diepeveen
https://arxiv.org/abs/2403.06612 https://arxiv.org/pdf/…

Pulling back symmetric Riemannian geometry for data analysis
Data sets tend to live in low-dimensional non-linear subspaces. Ideal data analysis tools for such data sets should therefore account for such non-linear geometry. The symmetric Riemannian geometry setting can be suitable for a variety of reasons. First, it comes with a rich mathematical structure to account for a wide range of non-linear geometries that has been shown to be able to capture the data geometry through empirical evidence from classical non-linear embedding. Second, many standard d…

This https://arxiv.org/abs/2404.03095 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Analyzing Warp Drive Spacetimes with Warp Factory
The field of warp research has been dominated by analytical methods to investigate potential solutions. However, these approaches often favor simple metric forms that facilitate analysis but ultimately limit the range of exploration of novel solutions. So far the proposed solutions have been unphysical, requiring energy condition violations and large energy requirements. To overcome the analytical limitations in warp research, we introduce Warp Factory: a numerical toolkit designed for modeling…

When this guy veers from his prepared speech, he is funny and sharp, thinking on his feet.
When the other guy ad libs … well, you know.
Excellent textual analysis with examples, by @….
https://wapo.st/3TbPxCp<…

Analysis | What Biden’s SOTU ad-libs say about his politics — and his preparedness
President Biden frequently went off script on Thursday night, often to rib his political opponents.

Getty, Reuters, AP, and other news outlets withdraw a photo, issued by the palace of the UK's Princess of Wales, after analysis suggested it had been altered (Reuters)
https://www.reuters.com/world/uk/news-agencies-withdraw-photo-uk…

This https://arxiv.org/abs/2301.06136 has been replaced.
link: https://scholar.google.com/scholar?q=a

Quantitative Verification with Neural Networks
We present a data-driven approach to the quantitative verification of probabilistic programs and stochastic dynamical models. Our approach leverages neural networks to compute tight and sound bounds for the probability that a stochastic process hits a target condition within finite time. This problem subsumes a variety of quantitative verification questions, from the reachability and safety analysis of discrete-time stochastic dynamical models, to the study of assertion-violation and terminatio…

'Thought he was being deviously clever': Analyst says MAGA ally Bannon just exposed big Trump lie - Raw Story
https://www.rawstory.com/trump-bannon-maga/

'Thought he was being deviously clever': Analyst says MAGA ally just exposed big Trump lie
Steve Bannon’s attempt to talk up a Donald Trump “secretive scheme” on the campaign trail blew up in his face when he exposed a large lie instead, according to a new political analysis. “Bannon no doubt thought he was being deviously clever,” Greg Sargent wrote for the National Review Thursday.Sarge...

Analysis: TikTok app code shows a separate TikTok Photos app, a potential Instagram rival that syncs with the main app and may launch "soon" on iOS and Android (The SP Android)
https://thespandroid.blogspot.com/2024/03/Tiktok-Photo-Sharing-Pl…

Exclusive: Tiktok is working on a new Photo Sharing platform to compete with Instagram
Tiktok has dominated the short form video market from a long time and other platform like Instagram and YouTube copied the popularity of such short...

This https://arxiv.org/abs/2404.03936 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

Deep Learning for Satellite Image Time Series Analysis: A Review
Earth observation (EO) satellite missions have been providing detailed images about the state of the Earth and its land cover for over 50 years. Long term missions, such as NASA's Landsat, Terra, and Aqua satellites, and more recently, the ESA's Sentinel missions, record images of the entire world every few days. Although single images provide point-in-time data, repeated images of the same area, or satellite image time series (SITS) provide information about the changing state of vegetation an…

This https://arxiv.org/abs/2404.00511 has been replaced.
link: https://scholar.google.com/scholar?q=a

MIPS at SemEval-2024 Task 3: Multimodal Emotion-Cause Pair Extraction in Conversations with Multimodal Language Models
This paper presents our winning submission to Subtask 2 of SemEval 2024 Task 3 on multimodal emotion cause analysis in conversations. We propose a novel Multimodal Emotion Recognition and Multimodal Emotion Cause Extraction (MER-MCE) framework that integrates text, audio, and visual modalities using specialized emotion encoders. Our approach sets itself apart from top-performing teams by leveraging modality-specific features for enhanced emotion understanding and causality inference. Experiment…

This https://arxiv.org/abs/2403.04403 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Conjugate operators for transparent, explorable research outputs
Charts, figures, and text derived from data play an important role in decision making, from data-driven policy development to day-to-day choices informed by online articles. Making sense of, or fact-checking, outputs means understanding how they relate to the underlying data. Even for domain experts with access to the source code and data sets, this poses a significant challenge. In this paper we introduce a new program analysis framework which supports interactive exploration of fine-grained I…

This https://arxiv.org/abs/2403.01760 has been replaced.
link: https://scholar.google.com/scholar?q=a

Quantum Computation by Cooling
Adiabatic quantum computation is a paradigmatic model aiming to solve a computational problem by finding the many-body ground state encapsulating the solution. However, its use of an adiabatic evolution depending on the spectral gap of an intricate many-body Hamiltonian makes its analysis daunting. While it is plausible to directly cool the final gapped system of the adiabatic evolution instead, an analysis of such a scheme is surprisingly missing. Here, we propose a specific Hamiltonian model …

The U.S. Cybersecurity and Infrastructure Security Agency ( #CISA ) has released a new version of ⭐️"Malware Next-Gen," ⭐️
now allowing the public to submit malware samples for analysis by CISA.
Malware Next-Gen is a malware analysis platform that examines malware samples for suspicious artifacts.
It was originally designed to allow U.S. federal, state, local, tribal, and territori…

This https://arxiv.org/abs/2211.02736 has been replaced.
link: https://scholar.google.com/scholar?q=a

Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
Machine learning driven image-based controllers allow robotic systems to take intelligent actions based on the visual feedback from their environment. Understanding when these controllers might lead to system safety violations is important for their integration in safety-critical applications and engineering corrective safety measures for the system. Existing methods leverage simulation-based testing (or falsification) to find the failures of vision-based controllers, i.e., the visual inputs th…

Analysis of Privacy Leakage in Federated Large Language Models
Minh N. Vu, Truc Nguyen, Tre' R. Jeter, My T. Thai
https://arxiv.org/abs/2403.04784 http…

Analysis of Privacy Leakage in Federated Large Language Models
With the rapid adoption of Federated Learning (FL) as the training and tuning protocol for applications utilizing Large Language Models (LLMs), recent research highlights the need for significant modifications to FL to accommodate the large-scale of LLMs. While substantial adjustments to the protocol have been introduced as a response, comprehensive privacy analysis for the adapted FL protocol is currently lacking. To address this gap, our work delves into an extensive examination of the priv…

Usability and Performance Analysis of Embedded Development Environment for On-device Learning
Enzo Scaffi (DYNAMID), Antoine Bonneau (DYNAMID, EE), Fr\'ed\'eric Le Mou\"el (DYNAMID), Fabien Mieyeville (INL, EE)
https://arxiv.org/abs/2404.07948

Usability and Performance Analysis of Embedded Development Environment for On-device Learning
This research empirically examines embedded development tools viable for on-device TinyML implementation. The research evaluates various development tools with various abstraction levels on resource-constrained IoT devices, from basic hardware manipulation to deployment of minimalistic ML training. The analysis encompasses memory usage, energy consumption, and performance metrics during model training and inference and usability of the different solutions. Arduino Framework offers ease of imple…

This https://arxiv.org/abs/2401.12924 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

Performance Analysis of Support Vector Machine (SVM) on Challenging Datasets for Forest Fire Detection
This article delves into the analysis of performance and utilization of Support Vector Machines (SVMs) for the critical task of forest fire detection using image datasets. With the increasing threat of forest fires to ecosystems and human settlements, the need for rapid and accurate detection systems is of utmost importance. SVMs, renowned for their strong classification capabilities, exhibit proficiency in recognizing patterns associated with fire within images. By training on labeled data, SV…

Zeros of $L$-Functions in Low-Lying Intervals and de Branges spaces
Antonio Pedro Ramos
https://arxiv.org/abs/2404.07832 https://arxi…

Zeros of $L$-Functions in Low-Lying Intervals and de Branges spaces
We consider a variant of a problem first introduced by Hughes and Rudnick (2003) and generalized by Bernard (2015) concerning conditional bounds for small first zeros in a family of $L$-functions. Here we seek to estimate the size of the smallest intervals centered at a low-lying height for which we can guarantee the existence of a zero in a family of $L$-functions. This leads us to consider an extremal problem in analysis which we address by applying the framework of de Branges spaces, introdu…

Leveraging open-source models for legal language modeling and analysis: a case study on the Indian constitution
Vikhyath Gupta (Vidya Jyothi Institute of Technology, Hyderabad, Telangana, India), Srinivasa Rao P (Curlvee TechnoLabs, Hyderabad, Telangana, India)
https://arxiv.org/abs/2404.06751

Leveraging open-source models for legal language modeling and analysis: a case study on the Indian constitution
In recent years, the use of open-source models has gained immense popularity in various fields, including legal language modelling and analysis. These models have proven to be highly effective in tasks such as summarizing legal documents, extracting key information, and even predicting case outcomes. This has revolutionized the legal industry, enabling lawyers, researchers, and policymakers to quickly access and analyse vast amounts of legal text, saving time and resources. This paper presents …

This https://arxiv.org/abs/2404.03053 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Mapping Excited Gauged Q-balls
Properties such as the radius, charge and energy of ${U}(1)$ gauged Q-balls are analytically complicated to characterize. A mapping relation is known between the ground state of gauged Q-balls and global Q-balls that reduces the complexity of the analysis of the ground state of gauged Q-balls. Extending the map to excited states is a powerful tool to determine the properties of the rest of gauged Q-ball solution space. In this article we explore the mapping relation extension to characterize nu…

Amen, amen: "The Supreme Court should get out of the way and let Trump’s federal trial begin."
Stop the Stall | Brennan Center for Justice
https://www.brennancenter.org/our-work/analysis-opinion/stop-stall

This https://arxiv.org/abs/2403.16110 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDB_…

ByteCard: Enhancing ByteDance's Data Warehouse with Learned Cardinality Estimation
Cardinality estimation is a critical component and a longstanding challenge in modern data warehouses. ByteHouse, ByteDance's cloud-native engine for extensive data analysis in exabyte-scale environments, serves numerous internal decision-making business scenarios. With the increasing demand for ByteHouse, cardinality estimation becomes the bottleneck for efficiently processing queries. Specifically, the existing query optimizer of ByteHouse uses the traditional Selinger-like cardinality estima…

This https://arxiv.org/abs/2404.05279 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_…

The Galactic bulge exploration II. Line-of-sight velocity templates for single-mode RR~Lyrae stars
We present a new set of tools to derive systemic velocities for single-mode RR~Lyrae stars from visual and near-infrared spectra. We derived scaling relations and line-of-sight velocity templates using both APOGEE and {\it Gaia} spectroscopic products combined with photometric $G$-band amplitudes. We provide a means to estimate systemic velocities for the RR~Lyrae subclasses, RRab and RRc. Our analysis indicates that the scaling relation between the photometric and line-of-sight velocity amplit…

This https://arxiv.org/abs/2404.01929 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

Towards Enhanced Analysis of Lung Cancer Lesions in EBUS-TBNA -- A Semi-Supervised Video Object Detection Method
This study aims to establish a computer-aided diagnostic system for lung lesions using bronchoscope endobronchial ultrasound (EBUS) to assist physicians in identifying lesion areas. During EBUS-transbronchial needle aspiration (EBUS-TBNA) procedures, physicians rely on grayscale ultrasound images to determine the location of lesions. However, these images often contain significant noise and can be influenced by surrounding tissues or blood vessels, making interpretation challenging. Previous re…

This https://arxiv.org/abs/2404.01446 has been replaced.
link: https://scholar.google.com/scholar?q=a

Finding Regions of Interest in Whole Slide Images Using Multiple Instance Learning
Whole Slide Images (WSI), obtained by high-resolution digital scanning of microscope slides at multiple scales, are the cornerstone of modern Digital Pathology. However, they represent a particular challenge to AI-based/AI-mediated analysis because pathology labeling is typically done at slide-level, instead of tile-level. It is not just that medical diagnostics is recorded at the specimen level, the detection of oncogene mutation is also experimentally obtained, and recorded by initiatives lik…

This https://arxiv.org/abs/2403.16099 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

A Multi-Label Dataset of French Fake News: Human and Machine Insights
We present a corpus of 100 documents, OBSINFOX, selected from 17 sources of French press considered unreliable by expert agencies, annotated using 11 labels by 8 annotators. By collecting more labels than usual, by more annotators than is typically done, we can identify features that humans consider as characteristic of fake news, and compare them to the predictions of automated classifiers. We present a topic and genre analysis using Gate Cloud, indicative of the prevalence of satire-like text…

Excerpts from an analysis of the California Journalism Preservation Act, which has yet to pass the state Senate, including its many weaknesses and alternatives (Jeff Jarvis/Nieman Lab)
https://www.niemanlab.org…

The California Journalism Preservation Act would do more harm than good. Here’s how the state might better help news
"If there are resources to be put to work, we must ask where those resources should come from, who should receive them, and on what basis they should be distributed."

This https://arxiv.org/abs/2312.08604 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
Learning-based approaches for controlling safety-critical systems are rapidly growing in popularity; thus, it is important to assure their performance and safety. Hamilton-Jacobi (HJ) reachability analysis is a popular formal verification tool for providing such guarantees, since it can handle general nonlinear system dynamics, bounded adversarial system disturbances, and state and input constraints. However, its computational and memory complexity scales exponentially with the state dimension,…

Profile of Vulnerability Remediations in Dependencies Using Graph Analysis
Fernando Vera, Palina Pauliuchenka, Ethan Oh, Bai Chien Kao, Louis DiValentin, David A. Bader
https://arxiv.org/abs/2403.04989

Profile of Vulnerability Remediations in Dependencies Using Graph Analysis
This research introduces graph analysis methods and a modified Graph Attention Convolutional Neural Network (GAT) to the critical challenge of open source package vulnerability remediation by analyzing control flow graphs to profile breaking changes in applications occurring from dependency upgrades intended to remediate vulnerabilities. Our approach uniquely applies node centrality metrics -- degree, norm, and closeness centrality -- to the GAT model, enabling a detailed examination of package…

This https://arxiv.org/abs/2403.02599 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Comparative analysis of diverse methodologies for portfolio optimization leveraging quantum annealing techniques
Portfolio optimization (PO) is extensively employed in financial services to assist in achieving investment objectives. By providing an optimal asset allocation, PO effectively balances the risk and returns associated with investments. However, it is important to note that as the number of involved assets and constraints increases, the portfolio optimization problem can become increasingly difficult to solve, falling into the category of NP-hard problems. In such scenarios, classical algorithms…

Zeros of $L$-Functions in Low-Lying Intervals and de Branges spaces
Antonio Pedro Ramos
https://arxiv.org/abs/2404.07832 https://arxi…

Zeros of $L$-Functions in Low-Lying Intervals and de Branges spaces
We consider a variant of a problem first introduced by Hughes and Rudnick (2003) and generalized by Bernard (2015) concerning conditional bounds for small first zeros in a family of $L$-functions. Here we seek to estimate the size of the smallest intervals centered at a low-lying height for which we can guarantee the existence of a zero in a family of $L$-functions. This leads us to consider an extremal problem in analysis which we address by applying the framework of de Branges spaces, introdu…

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
Mako Bates, Joe Near
https://arxiv.org/abs/2403.05417 https:/…

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
Concurrent distributed systems are notoriously difficult to construct and reason about. Choreographic programming is a recent paradigm that describes a distributed system in a single global program called a choreography. Choreographies simplify reasoning about distributed systems and can ensure deadlock freedom by static analysis. In previous choreographic programming languages, each value is located at a single party, and the programmer is expected to insert special untyped "select" operations…

This https://arxiv.org/abs/2306.08745 has been replaced.
link: https://scholar.google.com/scholar?q=a

PLAN: Variance-Aware Private Mean Estimation
Differentially private mean estimation is an important building block in privacy-preserving algorithms for data analysis and machine learning. Though the trade-off between privacy and utility is well understood in the worst case, many datasets exhibit structure that could potentially be exploited to yield better algorithms. In this paper we present $\textit{Private Limit Adapted Noise}$ (PLAN), a family of differentially private algorithms for mean estimation in the setting where inputs are ind…

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
Van-Giang Trinh, Belaid Benhamou, Lo\"ic Paulev\'e
https://arxiv.org/abs/2403.06255

This https://arxiv.org/abs/2305.07572 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

Towards Convergence Rates for Parameter Estimation in Gaussian-gated Mixture of Experts
Originally introduced as a neural network for ensemble learning, mixture of experts (MoE) has recently become a fundamental building block of highly successful modern deep neural networks for heterogeneous data analysis in several applications of machine learning and statistics. Despite its popularity in practice, a satisfactory level of theoretical understanding of the MoE model is far from complete. To shed new light on this problem, we provide a convergence analysis for maximum likelihood es…

This https://arxiv.org/abs/2404.01140 has been replaced.
link: https://scholar.google.com/scholar?q=a

KoCoNovel: Annotated Dataset of Character Coreference in Korean Novels
In this paper, we present KoCoNovel, a novel character coreference dataset derived from Korean literary texts, complete with detailed annotation guidelines. Comprising 178K tokens from 50 modern and contemporary novels, KoCoNovel stands as one of the largest public coreference resolution corpora in Korean, and the first to be based on literary texts. KoCoNovel offers four distinct versions to accommodate a wide range of literary coreference analysis needs. These versions are designed to support…

This https://arxiv.org/abs/2105.15106 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Survey of Knowledge Tracing: Models, Variants, and Applications
Modern online education has the capacity to provide intelligent educational services by automatically analyzing substantial amounts of student behavioral data. Knowledge Tracing (KT) is one of the fundamental tasks for student behavioral data analysis, aiming to monitor students' evolving knowledge state during their problem-solving process. In recent years, a substantial number of studies have concentrated on this rapidly growing field, significantly contributing to its advancements. In this s…

This https://arxiv.org/abs/2401.09773 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

SEINE: Structure Encoding and Interaction Network for Nuclei Instance Segmentation
Nuclei instance segmentation in histopathological images is of great importance for biological analysis and cancer diagnosis but remains challenging for two reasons. (1) Similar visual presentation of intranuclear and extranuclear regions of chromophobe nuclei often causes under-segmentation, and (2) current methods lack the exploration of nuclei structure, resulting in fragmented instance predictions. To address these problems, this paper proposes a structure encoding and interaction network, …

This https://arxiv.org/abs/2401.04166 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Exploring duality symmetries, multicriticality and RG flows at $c = 2$
In this work, we study the realization of non-invertible duality symmetries along the toroidal branch of the $c=2$ conformal manifold. A systematic procedure to construct symmetry defects is implemented to show that all Rational Conformal Field Theories along this branch enjoy duality symmetries. Furthermore, we delve into an in-depth analysis of two representative cases of multicritical theories, were the toroidal branch meets various orbifold branches. For these particular examples, the categ…

This https://arxiv.org/abs/2310.07887 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

Unsupervised Denoising for Signal-Dependent and Row-Correlated Imaging Noise
Accurate analysis of microscopy images is hindered by the presence of noise. This noise is usually signal-dependent and often additionally correlated along rows or columns of pixels. Current self- and unsupervised denoisers can address signal-dependent noise, but none can reliably remove noise that is also row- or column-correlated. Here, we present the first fully unsupervised deep learning-based denoiser capable of handling imaging noise that is row-correlated as well as signal-dependent. Our…

This https://arxiv.org/abs/2402.04318 has been replaced.
link: https://scholar.google.com/scholar?q=a

Human Observation-Inspired Trajectory Prediction for Autonomous Driving in Mixed-Autonomy Traffic Environments
In the burgeoning field of autonomous vehicles (AVs), trajectory prediction remains a formidable challenge, especially in mixed autonomy environments. Traditional approaches often rely on computational methods such as time-series analysis. Our research diverges significantly by adopting an interdisciplinary approach that integrates principles of human cognition and observational behavior into trajectory prediction models for AVs. We introduce a novel "adaptive visual sector" mechanism that mimi…

This https://arxiv.org/abs/2309.00588 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

Discrete Morphological Neural Networks
A classical approach to designing binary image operators is Mathematical Morphology (MM). We propose the Discrete Morphological Neural Networks (DMNN) for binary image analysis to represent W-operators and estimate them via machine learning. A DMNN architecture, which is represented by a Morphological Computational Graph, is designed as in the classical heuristic design of morphological operators, in which the designer should combine a set of MM operators and Boolean operations based on prior i…

This https://arxiv.org/abs/2401.04820 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Phishing Website Detection through Multi-Model Analysis of HTML Content
The way we communicate and work has changed significantly with the rise of the Internet. While it has opened up new opportunities, it has also brought about an increase in cyber threats. One common and serious threat is phishing, where cybercriminals employ deceptive methods to steal sensitive information.This study addresses the pressing issue of phishing by introducing an advanced detection model that meticulously focuses on HTML content. Our proposed approach integrates a specialized Multi-L…

This https://arxiv.org/abs/2305.14877 has been replaced.
link: https://scholar.google.com/scholar?q=a

Improving Probability-based Prompt Selection Through Unified Evaluation and Analysis
Previous works in prompt engineering for large language models have introduced different gradient-free probability-based prompt selection methods that aim to choose the optimal prompt among the candidates for a given task but have failed to provide a comprehensive and fair comparison between each other. In this paper, we propose a unified framework to interpret and evaluate the existing probability-based prompt selection methods by performing extensive experiments on 13 common and diverse NLP t…

Quiver Laplacians and Feature Selection
Otto Sumray, Heather A. Harrington, Vidit Nanda
https://arxiv.org/abs/2404.06993 https://arxi…

Quiver Laplacians and Feature Selection
The challenge of selecting the most relevant features of a given dataset arises ubiquitously in data analysis and dimensionality reduction. However, features found to be of high importance for the entire dataset may not be relevant to subsets of interest, and vice versa. Given a feature selector and a fixed decomposition of the data into subsets, we describe a method for identifying selected features which are compatible with the decomposition into subsets. We achieve this by re-framing the pro…

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
Simon Schneider, Alexander Bakhtin, Xiaozhou Li, Jacopo Soldani, Antonio Brogi, Tomas Cerny, Riccardo Scandariato, Davide Taibi
https://arxiv.org/abs/2403.06941

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
Architecture recovery tools help software engineers obtain an overview of their software systems during all phases of the software development lifecycle. This is especially important for microservice applications because their distributed nature makes it more challenging to oversee the architecture. Various tools and techniques for this task are presented in academic and grey literature sources. Practitioners and researchers can benefit from a comprehensive overview of these tools and their abi…

This https://arxiv.org/abs/2403.13063 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Criticality and thermodynamic geometry of quantum BTZ black holes
Within the framework of extended black hole thermodynamics, where the cosmological constant acts as the thermodynamic pressure and its conjugate as the thermodynamic volume, we analyze the phase structure and thermodynamic geometry of the three-dimensional quantum-corrected BTZ (qBTZ) black hole. Our results uncover two-phase transitions in the $T-S$ plane across all pressures except at a critical value. Numerical analysis reveals continuous critical phenomena along the coexistence curve, with …

This https://arxiv.org/abs/2403.02768 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCY_…

An Empirical Analysis on the Use and Reporting of National Security Letters
National Security Letters (NSLs) are similar to administrative subpoenas and can be issued directly by elements of the executive branch without requiring prior approval from a court or grand jury. Importantly, NSLs authorize the imposition of nondisclosure orders (aka "gag orders") on the receiving party. Controversy about potential abuses of this authority has driven a range of legal and policy discussions. To address these concerns, both the public sector and the private sector have sought to…

This https://arxiv.org/abs/2310.19181 has been replaced.
link: https://scholar.google.com/scholar?q=a

From Chatbots to PhishBots? -- Preventing Phishing scams created using ChatGPT, Google Bard and Claude
The advanced capabilities of Large Language Models (LLMs) have made them invaluable across various applications, from conversational agents and content creation to data analysis, research, and innovation. However, their effectiveness and accessibility also render them susceptible to abuse for generating malicious content, including phishing attacks. This study explores the potential of using four popular commercially available LLMs, i.e., ChatGPT (GPT 3.5 Turbo), GPT 4, Claude, and Bard, to gen…

Prepared for the Worst: A Learning-Based Adversarial Attack for Resilience Analysis of the ICP Algorithm
Ziyu Zhang, Johann Laconte, Daniil Lisus, Timothy D. Barfoot
https://arxiv.org/abs/2403.05666

Prepared for the Worst: A Learning-Based Adversarial Attack for Resilience Analysis of the ICP Algorithm
This paper presents a novel method to assess the resilience of the Iterative Closest Point (ICP) algorithm via deep-learning-based attacks on lidar point clouds. For safety-critical applications such as autonomous navigation, ensuring the resilience of algorithms prior to deployments is of utmost importance. The ICP algorithm has become the standard for lidar-based localization. However, the pose estimate it produces can be greatly affected by corruption in the measurements. Corruption can aris…

This https://arxiv.org/abs/2403.13063 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Criticality and thermodynamic geometry of quantum BTZ black holes
Within the framework of extended black hole thermodynamics, where the cosmological constant acts as the thermodynamic pressure and its conjugate as the thermodynamic volume, we analyze the phase structure and thermodynamic geometry of the three-dimensional quantum-corrected BTZ (qBTZ) black hole. Our results uncover two-phase transitions in the $T-S$ plane across all pressures except at a critical value. Numerical analysis reveals continuous critical phenomena along the coexistence curve, with …

A Comparative Analysis of Energy Consumption Between The Widespread Unreal and Unity Video Game Engines
Carlos P\'erez, Javier Ver\'on, F\'elix Garc\'ia, M \'Angeles Moraga, Coral Calero, Carlos Cetina
https://arxiv.org/abs/2402.06346

A Comparative Analysis of Energy Consumption Between The Widespread Unreal and Unity Video Game Engines
The total energy cost of computing activities is steadily increasing and projections indicate that it will be one of the dominant global energy consumers in the coming decades. However, perhaps due to its relative youth, the video game sector has not yet developed the same level of environmental awareness as other computing technologies despite the estimated three billion regular video game players in the world. This work evaluates the energy consumption of the most widely used industry-scale v…

ERA-CoT: Improving Chain-of-Thought through Entity Relationship Analysis
Yanming Liu, Xinyue Peng, Tianyu Du, Jianwei Yin, Weihao Liu, Xuhong Zhang
https://arxiv.org/abs/2403.06932

ERA-CoT: Improving Chain-of-Thought through Entity Relationship Analysis
Large language models (LLMs) have achieved commendable accomplishments in various natural language processing tasks. However, LLMs still encounter significant challenges when dealing with complex scenarios involving multiple entities. These challenges arise from the presence of implicit relationships that demand multi-step reasoning. In this paper, we propose a novel approach ERA-CoT, which aids LLMs in understanding context by capturing relationships between entities and supports the reasoning…

Prepared for the Worst: A Learning-Based Adversarial Attack for Resilience Analysis of the ICP Algorithm
Ziyu Zhang, Johann Laconte, Daniil Lisus, Timothy D. Barfoot
https://arxiv.org/abs/2403.05666

Prepared for the Worst: A Learning-Based Adversarial Attack for Resilience Analysis of the ICP Algorithm
This paper presents a novel method to assess the resilience of the Iterative Closest Point (ICP) algorithm via deep-learning-based attacks on lidar point clouds. For safety-critical applications such as autonomous navigation, ensuring the resilience of algorithms prior to deployments is of utmost importance. The ICP algorithm has become the standard for lidar-based localization. However, the pose estimate it produces can be greatly affected by corruption in the measurements. Corruption can aris…

This https://arxiv.org/abs/2402.05778 has been replaced.
link: https://scholar.google.com/scholar?q=a

The $ϕ^n$ trajectory bootstrap
The Green's functions $G_n=\langleϕ^n\rangle$ and their self-consistent equations admit analytic continuations to complex $n$. The indeterminacy of bootstrap problems can be resolved by the principle of minimal singularity. We use the harmonic oscillator to illustrate various aspects of the bootstrap analysis, such as the large $n$ expansion, matching conditions, exact quantization condition, and high energy asymptotic behavior. For the Hermitian quartic and non-Hermitian cubic oscillators, we…

Formal Verification of the Sumcheck Protocol
Azucena Garv\'ia Bosshard, Jonathan Bootle, Christoph Sprenger
https://arxiv.org/abs/2402.06093 https://…

Formal Verification of the Sumcheck Protocol
The sumcheck protocol, introduced in 1992, is an interactive proof which is a key component of many probabilistic proof systems in computational complexity theory and cryptography, some of which have been deployed. However, none of these proof systems based on the sumcheck protocol enjoy a formally-verified security analysis. In this paper, we make progress in this direction by providing a formally verified security analysis of the sumcheck protocol using the interactive theorem prover Isabelle…

Explaining Pre-Trained Language Models with Attribution Scores: An Analysis in Low-Resource Settings
Wei Zhou, Heike Adel, Hendrik Schuff, Ngoc Thang Vu
https://arxiv.org/abs/2403.05338

Explaining Pre-Trained Language Models with Attribution Scores: An Analysis in Low-Resource Settings
Attribution scores indicate the importance of different input parts and can, thus, explain model behaviour. Currently, prompt-based models are gaining popularity, i.a., due to their easier adaptability in low-resource settings. However, the quality of attribution scores extracted from prompt-based models has not been investigated yet. In this work, we address this topic by analyzing attribution scores extracted from prompt-based models w.r.t. plausibility and faithfulness and comparing them wit…

Explaining Pre-Trained Language Models with Attribution Scores: An Analysis in Low-Resource Settings
Wei Zhou, Heike Adel, Hendrik Schuff, Ngoc Thang Vu
https://arxiv.org/abs/2403.05338

Explaining Pre-Trained Language Models with Attribution Scores: An Analysis in Low-Resource Settings
Attribution scores indicate the importance of different input parts and can, thus, explain model behaviour. Currently, prompt-based models are gaining popularity, i.a., due to their easier adaptability in low-resource settings. However, the quality of attribution scores extracted from prompt-based models has not been investigated yet. In this work, we address this topic by analyzing attribution scores extracted from prompt-based models w.r.t. plausibility and faithfulness and comparing them wit…

FaBERT: Pre-training BERT on Persian Blogs
Mostafa Masumi, Seyed Soroush Majd, Mehrnoush Shamsfard, Hamid Beigy
https://arxiv.org/abs/2402.06617 https://…

FaBERT: Pre-training BERT on Persian Blogs
We introduce FaBERT, a Persian BERT-base model pre-trained on the HmBlogs corpus, encompassing both informal and formal Persian texts. FaBERT is designed to excel in traditional Natural Language Understanding (NLU) tasks, addressing the intricacies of diverse sentence structures and linguistic styles prevalent in the Persian language. In our comprehensive evaluation of FaBERT on 12 datasets in various downstream tasks, encompassing Sentiment Analysis (SA), Named Entity Recognition (NER), Natura…